class Int extends Float
{
}
